Unboxing co-creation with students
نویسندگان
چکیده
منابع مشابه
Record Unboxing
This paper proposes a type-based optimization method that “unboxes” records whenever possible by flattening nested records and changing top-level tuples to multiple value passing. We first develop a type-based algorithm that infers whether each record expression is “rigid” or not, i.e. whether it requires heap allocation or not. This is based on the observation that the changes the representati...
متن کاملUnboxing using Specialisation
In performance-critical parts of functional programs substantial performance improvements can be achieved by using unboxed, instead of boxed, data types. Unfortunately, polymorphic functions and data types cannot directly manipulate unboxed values, precisely because they do not conform to the standard boxed representation. Instead, specialised, monomor-phic versions of these functions and data ...
متن کاملConsumer co-creation
The paper provides an integrated view of value creation in the development of new products and services related to ICT. We argue that customer integration into the development process as a whole is a key for enhanced innovation processes. Building on early experiences from two projects conducted with a living lab approach we ask how this approach can help organizations utilize important resourc...
متن کاملParametricity and Unboxing with Unpointed Types
In lazy functional languages, .l. is typically an element of every type. While this provides great flexibility, it also comes at a cost. In this paper we explore the consequences of allowing unpointed types in a lazy functional language like HaskeU. We use the type (and class) system to keep track of pointedness, and show the consequences for parametricity and for controlling evaluation order a...
متن کاملGC-Safe Interprocedural Unboxing
Modern approaches to garbage collection (GC ) require information about which variables and fields contain GC-managed pointers. Interprocedural flow analysis can be used to eliminate otherwise unnecessary heap allocated objects (unboxing), but must maintain the necessary GC information. We define a core language which models compiler correctness with respect to the GC, and develop a correctness...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nordic Journal of Information Literacy in Higher Education
سال: 2019
ISSN: 1890-5900
DOI: 10.15845/noril.v11i1.2613